1. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده : \ Franco Fummi, Robert Wille, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روشهای صوری (کامپیوتر) -- کنگرهها,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگرهها
رده :
E-Book
,
